1. Great books of the Western World
پدیدآورنده: / editor_ in_ chief Mortimer J. Adler
کتابخانه: كتابخانه مركزی (آستان قدس رضوی علیهالسلام) - تالار كتابهای خارجی (خراسان رضوی)
موضوع: Literature,Literature, Modern
رده :
808
.
8003
G786
1993
R
2. Logic and computer science
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, symbolic and mathematical ► Computer programs- Corretness
رده :
511
L832
3. Logic and computer science
پدیدآورنده: / S. Homer... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Logic, Symbolic and mathematical -- Congresses,Programming language (Electronic Computers)--Syntax,Computational complextiy -- Congresses
رده :
QA
9
.
A1L6
1990
4. Logic and computer science : lectures given at the 1st Session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده: S. Homer ... ]et al.[; editor, P. Odifreddi
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
3
.
L28
Vol
.
1429
5. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده: S. Homer...]et al.[; editor, P. Odifreddi
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
3
.
L28
no
.
1429
6. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical-- Congresses,، Programming )Mathematics(-- Congresses,، Computational complexity-- Congresses
رده :
QA
3
.
L28
no
.
1429
7. Logic and computer science: lectures given at the 1st session of the centro internazioale matematico Estive )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده: S. Homer...]et al.[; editor, P. Odifreddi
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
9
.
L63
1990
8. Teaching and learning with technology
پدیدآورنده: / edited by Concetta M. Stewart, Catherine C. Schifter and Melissa E. Markaridian Selverian
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Educational technology
رده :
LB1028
.
3
.
T375
2010
9. Teaching and learning with technology : beyond constructivism
پدیدآورنده: edited by Concetta M. Stewart, Catherine C. Schifter and Melissa E. Markaridian Selverian
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع: ، Educational technology
رده :
LB
1028
.
3
.
T375
2010
